Integrals 701 to 800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 65 62 76 0 253 425 83 343

N.S.

1 1.08 1.03 1.27 0.00 4.22 7.08 1.38 5.72

time (sec)

N/A 0.053 0.127 1.194 0.000 0.279 13.670 0.299 10.392

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 47 0 190 144 60 42

N.S.

1 1.09 1.00 1.09 0.00 4.42 3.35 1.40 0.98

time (sec)

N/A 0.026 0.031 0.796 0.000 0.291 2.166 0.285 8.265

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 117 99 114 0 1057 0 141 3281

N.S.

1 1.05 0.89 1.03 0.00 9.52 0.00 1.27 29.56

time (sec)

N/A 0.118 0.279 1.494 0.000 1.158 0.000 0.298 10.357

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 185 160 234 0 2882 0 301 24122

N.S.

1 1.04 0.90 1.31 0.00 16.19 0.00 1.69 135.52

time (sec)

N/A 0.326 0.666 2.512 0.000 94.949 0.000 0.300 24.629

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 284 251 625 0 0 0 766 62873

N.S.

1 1.05 0.93 2.31 0.00 0.00 0.00 2.83 232.00

time (sec)

N/A 0.707 1.725 6.013 0.000 0.000 0.000 0.351 33.285

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 306 183 456 0 1451 0 502 13700

N.S.

1 1.10 0.66 1.64 0.00 5.22 0.00 1.81 49.28

time (sec)

N/A 0.635 4.854 2.188 0.000 0.367 0.000 0.325 23.032

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 205 138 303 0 1006 0 558 8953

N.S.

1 1.10 0.74 1.62 0.00 5.38 0.00 2.98 47.88

time (sec)

N/A 0.325 2.205 1.815 0.000 0.354 0.000 0.305 19.510

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 129 124 220 0 665 0 241 5776

N.S.

1 1.08 1.04 1.85 0.00 5.59 0.00 2.03 48.54

time (sec)

N/A 0.153 0.735 1.007 0.000 0.313 0.000 0.300 16.668

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 97 89 144 0 399 0 151 215

N.S.

1 1.08 0.99 1.60 0.00 4.43 0.00 1.68 2.39

time (sec)

N/A 0.072 0.337 1.142 0.000 0.320 0.000 0.284 8.380

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 83 76 122 0 336 1943 122 174

N.S.

1 1.09 1.00 1.61 0.00 4.42 25.57 1.61 2.29

time (sec)

N/A 0.044 0.138 0.755 0.000 0.348 42.503 0.273 8.203

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 181 155 236 0 2871 0 297 24123

N.S.

1 1.07 0.92 1.40 0.00 16.99 0.00 1.76 142.74

time (sec)

N/A 0.306 0.686 2.522 0.000 78.840 0.000 0.301 25.136

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 290 216 331 0 0 0 975 71320

N.S.

1 1.07 0.79 1.22 0.00 0.00 0.00 3.58 262.21

time (sec)

N/A 0.775 1.447 9.282 0.000 0.000 0.000 0.426 34.074

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

427 458 313 760 0 0 0 1086 137274

N.S.

1 1.07 0.73 1.78 0.00 0.00 0.00 2.54 321.48

time (sec)

N/A 1.377 4.431 25.605 0.000 0.000 0.000 0.370 49.330

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

481 534 1251 1123 0 3174 0 3043 23910

N.S.

1 1.11 2.60 2.33 0.00 6.60 0.00 6.33 49.71

time (sec)

N/A 1.376 10.361 4.078 0.000 0.484 0.000 0.383 26.513

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 318 774 854 0 2335 0 1120 16958

N.S.

1 1.10 2.68 2.96 0.00 8.08 0.00 3.88 58.68

time (sec)

N/A 0.654 10.070 3.217 0.000 0.431 0.000 0.344 22.336

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 248 455 671 0 1631 0 856 11848

N.S.

1 1.11 2.03 3.00 0.00 7.28 0.00 3.82 52.89

time (sec)

N/A 0.524 6.196 1.796 0.000 0.353 0.000 0.338 22.276

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 196 176 465 0 1025 0 586 641

N.S.

1 1.09 0.98 2.60 0.00 5.73 0.00 3.27 3.58

time (sec)

N/A 0.189 0.967 1.347 0.000 0.331 0.000 0.322 11.338

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 162 134 349 0 799 0 412 477

N.S.

1 1.12 0.92 2.41 0.00 5.51 0.00 2.84 3.29

time (sec)

N/A 0.130 0.500 1.392 0.000 0.308 0.000 0.318 9.954

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 131 96 282 0 618 0 273 395

N.S.

1 1.11 0.81 2.39 0.00 5.24 0.00 2.31 3.35

time (sec)

N/A 0.087 0.280 1.166 0.000 0.305 0.000 0.273 10.602

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

260 285 234 625 0 0 0 768 62873

N.S.

1 1.10 0.90 2.40 0.00 0.00 0.00 2.95 241.82

time (sec)

N/A 0.693 1.166 5.985 0.000 0.000 0.000 0.338 32.146

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

419 454 302 736 0 0 0 1088 137273

N.S.

1 1.08 0.72 1.76 0.00 0.00 0.00 2.60 327.62

time (sec)

N/A 1.542 4.146 28.017 0.000 0.000 0.000 0.372 48.380

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

617 669 1080 1157 0 0 0 6885 571173

N.S.

1 1.08 1.75 1.88 0.00 0.00 0.00 11.16 925.73

time (sec)

N/A 2.129 7.392 42.935 0.000 0.000 0.000 3.284 87.579

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 298 261 1835 0 579 0 0 0

N.S.

1 1.02 0.89 6.26 0.00 1.98 0.00 0.00 0.00

time (sec)

N/A 0.342 1.764 9.674 0.000 0.134 0.000 0.000 0.000

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 235 212 1449 0 509 0 0 0

N.S.

1 1.01 0.91 6.25 0.00 2.19 0.00 0.00 0.00

time (sec)

N/A 0.265 0.919 8.043 0.000 0.134 0.000 0.000 0.000

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 181 151 701 0 443 0 0 0

N.S.

1 1.01 0.84 3.89 0.00 2.46 0.00 0.00 0.00

time (sec)

N/A 0.145 0.584 6.442 0.000 0.102 0.000 0.000 0.000

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 140 101 243 0 383 0 0 176

N.S.

1 1.01 0.73 1.75 0.00 2.76 0.00 0.00 1.27

time (sec)

N/A 0.092 3.207 5.109 0.000 0.102 0.000 0.000 9.077

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 195 158 567 0 614 0 0 0

N.S.

1 1.01 0.82 2.94 0.00 3.18 0.00 0.00 0.00

time (sec)

N/A 0.149 0.535 7.335 0.000 0.109 0.000 0.000 0.000

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 285 196 887 0 1025 0 0 0

N.S.

1 1.01 0.70 3.16 0.00 3.65 0.00 0.00 0.00

time (sec)

N/A 0.275 1.129 15.191 0.000 0.139 0.000 0.000 0.000

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 369 287 1049 0 1573 0 0 0

N.S.

1 1.02 0.79 2.90 0.00 4.35 0.00 0.00 0.00

time (sec)

N/A 0.366 1.645 24.203 0.000 0.195 0.000 0.000 0.000

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

432 451 358 2112 0 789 0 0 0

N.S.

1 1.04 0.83 4.89 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.605 2.792 21.698 0.000 0.160 0.000 0.000 0.000

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

333 347 276 1575 0 671 0 0 0

N.S.

1 1.04 0.83 4.73 0.00 2.02 0.00 0.00 0.00

time (sec)

N/A 0.427 2.361 13.220 0.000 0.145 0.000 0.000 0.000

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 254 205 1100 0 563 0 0 0

N.S.

1 1.03 0.83 4.45 0.00 2.28 0.00 0.00 0.00

time (sec)

N/A 0.293 1.318 10.076 0.000 0.110 0.000 0.000 0.000

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 203 168 695 0 475 0 0 0

N.S.

1 1.03 0.85 3.53 0.00 2.41 0.00 0.00 0.00

time (sec)

N/A 0.193 1.501 8.425 0.000 0.114 0.000 0.000 0.000

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 228 166 888 0 795 0 0 0

N.S.

1 1.02 0.74 3.98 0.00 3.57 0.00 0.00 0.00

time (sec)

N/A 0.223 1.007 10.377 0.000 0.134 0.000 0.000 0.000

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 329 290 1043 0 1400 0 0 0

N.S.

1 1.03 0.91 3.26 0.00 4.38 0.00 0.00 0.00

time (sec)

N/A 0.340 1.918 22.289 0.000 0.217 0.000 0.000 0.000

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

449 460 402 1450 0 2293 0 0 0

N.S.

1 1.02 0.90 3.23 0.00 5.11 0.00 0.00 0.00

time (sec)

N/A 0.553 2.850 38.448 0.000 0.242 0.000 0.000 0.000

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

609 642 512 2728 0 1051 0 0 0

N.S.

1 1.05 0.84 4.48 0.00 1.73 0.00 0.00 0.00

time (sec)

N/A 0.881 4.724 58.371 0.000 0.180 0.000 0.000 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

470 496 385 2112 0 881 0 0 0

N.S.

1 1.06 0.82 4.49 0.00 1.87 0.00 0.00 0.00

time (sec)

N/A 0.715 4.432 18.220 0.000 0.217 0.000 0.000 0.000

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 375 287 1561 0 730 0 0 0

N.S.

1 1.04 0.80 4.35 0.00 2.03 0.00 0.00 0.00

time (sec)

N/A 0.461 3.672 14.358 0.000 0.135 0.000 0.000 0.000

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 302 210 1085 0 593 0 0 0

N.S.

1 1.04 0.72 3.74 0.00 2.04 0.00 0.00 0.00

time (sec)

N/A 0.346 3.521 12.181 0.000 0.160 0.000 0.000 0.000

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

345 361 290 1398 0 1066 0 0 0

N.S.

1 1.05 0.84 4.05 0.00 3.09 0.00 0.00 0.00

time (sec)

N/A 0.429 2.853 14.571 0.000 0.154 0.000 0.000 0.000

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

377 391 340 1379 0 1892 0 0 0

N.S.

1 1.04 0.90 3.66 0.00 5.02 0.00 0.00 0.00

time (sec)

N/A 0.485 4.115 29.938 0.000 0.211 0.000 0.000 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

514 532 547 1621 0 3050 0 0 0

N.S.

1 1.04 1.06 3.15 0.00 5.93 0.00 0.00 0.00

time (sec)

N/A 0.710 4.958 48.273 0.000 0.408 0.000 0.000 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

693 716 651 2111 0 4693 0 0 0

N.S.

1 1.03 0.94 3.05 0.00 6.77 0.00 0.00 0.00

time (sec)

N/A 0.929 8.715 72.354 0.000 0.522 0.000 0.000 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 296 593 1190 0 0 0 0 0

N.S.

1 1.02 2.04 4.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.698 28.811 4.979 0.000 0.000 0.000 0.000 0.000

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

227 229 240 391 0 0 0 0 0

N.S.

1 1.01 1.06 1.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.327 20.479 2.140 0.000 0.000 0.000 0.000 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 153 113 181 0 0 0 0 0

N.S.

1 1.01 0.74 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.210 5.170 1.955 0.000 0.000 0.000 0.000 0.000

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 74 151 0 0 0 0 0

N.S.

1 1.00 0.99 2.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.135 0.246 1.481 0.000 0.000 0.000 0.000 0.000

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 220 603 610 0 0 0 0 0

N.S.

1 1.01 2.78 2.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.409 4.715 3.289 0.000 0.000 0.000 0.000 0.000

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

392 399 1049 1072 0 0 0 0 0

N.S.

1 1.02 2.68 2.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.057 6.606 7.980 0.000 0.000 0.000 0.000 0.000

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

499 534 1058 1886 0 0 0 0 0

N.S.

1 1.07 2.12 3.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.312 9.344 17.974 0.000 0.000 0.000 0.000 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

369 390 950 1363 0 0 0 0 0

N.S.

1 1.06 2.57 3.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.785 9.507 17.082 0.000 0.000 0.000 0.000 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

336 351 870 1027 0 0 0 0 0

N.S.

1 1.04 2.59 3.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.689 6.631 5.313 0.000 0.000 0.000 0.000 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 307 575 872 0 0 0 0 0

N.S.

1 1.04 1.94 2.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.560 16.615 6.214 0.000 0.000 0.000 0.000 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

312 325 585 690 0 0 0 0 0

N.S.

1 1.04 1.88 2.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.608 4.174 4.984 0.000 0.000 0.000 0.000 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

426 449 1014 1266 0 0 0 0 0

N.S.

1 1.05 2.38 2.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.042 6.729 8.851 0.000 0.000 0.000 0.000 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

621 661 1244 1731 0 0 0 0 0

N.S.

1 1.06 2.00 2.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.792 7.520 22.782 0.000 0.000 0.000 0.000 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

752 816 1403 2775 0 0 0 0 0

N.S.

1 1.09 1.87 3.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.084 11.112 90.069 0.000 0.000 0.000 0.000 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

561 605 1233 2237 0 0 0 0 0

N.S.

1 1.08 2.20 3.99 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.410 9.617 86.056 0.000 0.000 0.000 0.000 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

512 549 1088 1888 0 0 0 0 0

N.S.

1 1.07 2.12 3.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.354 10.519 79.606 0.000 0.000 0.000 0.000 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

442 472 961 1718 0 0 0 0 0

N.S.

1 1.07 2.17 3.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.165 6.975 14.633 0.000 0.000 0.000 0.000 0.000

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

454 487 988 1525 0 0 0 0 0

N.S.

1 1.07 2.18 3.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.004 6.676 15.260 0.000 0.000 0.000 0.000 0.000

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

468 503 1016 867 0 0 0 0 0

N.S.

1 1.07 2.17 1.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.113 6.814 9.158 0.000 0.000 0.000 0.000 0.000

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

636 682 1231 2099 0 0 0 0 0

N.S.

1 1.07 1.94 3.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.786 7.508 22.001 0.000 0.000 0.000 0.000 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

861 888 1945 364669 0 0 0 0 0

N.S.

1 1.03 2.26 423.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.232 8.689 18.526 0.000 0.000 0.000 0.000 0.000

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

771 784 1855 247614 0 0 0 0 0

N.S.

1 1.02 2.41 321.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.286 13.620 11.783 0.000 0.000 0.000 0.000 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

621 628 196044 132368 0 0 0 0 0

N.S.

1 1.01 315.69 213.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.867 37.849 12.131 0.000 0.000 0.000 0.000 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

196 198 192 222819 0 0 0 0 0

N.S.

1 1.01 0.98 1136.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.075 0.244 11.954 0.000 0.000 0.000 0.000 0.000

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

403 409 254 41713 0 0 0 0 0

N.S.

1 1.01 0.63 103.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.334 10.367 8.237 0.000 0.000 0.000 0.000 0.000

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

482 489 2032 175820 0 0 0 0 0

N.S.

1 1.01 4.22 364.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.599 6.434 11.336 0.000 0.000 0.000 0.000 0.000

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1039 1080 2036 514068 0 0 0 0 0

N.S.

1 1.04 1.96 494.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.361 8.721 26.855 0.000 0.000 0.000 0.000 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

846 870 1916 364406 0 0 0 0 0

N.S.

1 1.03 2.26 430.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.206 6.420 17.975 0.000 0.000 0.000 0.000 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

726 740 1849 250087 0 0 0 0 0

N.S.

1 1.02 2.55 344.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.620 13.732 12.448 0.000 0.000 0.000 0.000 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

635 644 191301 468798 0 0 0 0 0

N.S.

1 1.01 301.26 738.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.020 39.135 16.312 0.000 0.000 0.000 0.000 0.000

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

594 600 1869 552130 0 0 0 0 0

N.S.

1 1.01 3.15 929.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.602 13.670 27.116 0.000 0.000 0.000 0.000 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

490 497 1978 169948 0 0 0 0 0

N.S.

1 1.01 4.04 346.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.614 6.403 10.786 0.000 0.000 0.000 0.000 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1237 1295 2195 680680 0 0 0 0 0

N.S.

1 1.05 1.77 550.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.117 12.495 40.476 0.000 0.000 0.000 0.000 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1030 1071 2035 514069 0 0 0 0 0

N.S.

1 1.04 1.98 499.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.273 9.862 23.973 0.000 0.000 0.000 0.000 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

867 894 1939 361707 0 0 0 0 0

N.S.

1 1.03 2.24 417.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.186 9.088 17.204 0.000 0.000 0.000 0.000 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

731 745 1865 656608 0 0 0 0 0

N.S.

1 1.02 2.55 898.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.420 21.115 21.696 0.000 0.000 0.000 0.000 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

762 780 1964 762903 0 0 0 0 0

N.S.

1 1.02 2.58 1001.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.684 8.486 35.486 0.000 0.000 0.000 0.000 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

727 737 2118 1389526 0 0 0 0 0

N.S.

1 1.01 2.91 1911.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.168 11.468 53.875 0.000 0.000 0.000 0.000 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

755 772 1871 657273 0 0 0 0 0

N.S.

1 1.02 2.48 870.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.531 16.652 19.356 0.000 0.000 0.000 0.000 0.000

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

636 644 191472 481621 0 0 0 0 0

N.S.

1 1.01 301.06 757.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.047 41.150 16.518 0.000 0.000 0.000 0.000 0.000

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

196 198 191 223623 0 0 0 0 0

N.S.

1 1.01 0.97 1140.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.070 0.195 11.885 0.000 0.000 0.000 0.000 0.000

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

189 192 173 1105 0 0 0 0 0

N.S.

1 1.02 0.92 5.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 0.240 11.224 0.000 0.000 0.000 0.000 0.000

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

399 405 77809 36777 0 0 0 0 0

N.S.

1 1.02 195.01 92.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.310 38.578 11.439 0.000 0.000 0.000 0.000 0.000

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

513 521 2066 192753 0 0 0 0 0

N.S.

1 1.02 4.03 375.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.648 6.455 13.962 0.000 0.000 0.000 0.000 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

797 822 1963 849240 0 0 0 0 0

N.S.

1 1.03 2.46 1065.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.780 8.672 39.749 0.000 0.000 0.000 0.000 0.000

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

594 600 1870 614831 0 0 0 0 0

N.S.

1 1.01 3.15 1035.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.622 18.405 28.168 0.000 0.000 0.000 0.000 0.000

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

403 409 223 41770 0 0 0 0 0

N.S.

1 1.01 0.55 103.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.319 8.100 8.090 0.000 0.000 0.000 0.000 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

399 405 77759 35628 0 0 0 0 0

N.S.

1 1.02 194.88 89.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 43.668 11.139 0.000 0.000 0.000 0.000 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

483 495 2037 107030 0 0 0 0 0

N.S.

1 1.02 4.22 221.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.624 6.636 13.695 0.000 0.000 0.000 0.000 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

657 681 2269 371180 0 0 0 0 0

N.S.

1 1.04 3.45 564.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.229 6.928 17.007 0.000 0.000 0.000 0.000 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

717 736 2103 1793484 0 0 0 0 0

N.S.

1 1.03 2.93 2501.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.208 11.023 67.750 0.000 0.000 0.000 0.000 0.000

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

486 497 1968 160231 0 0 0 0 0

N.S.

1 1.02 4.05 329.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.670 6.401 10.968 0.000 0.000 0.000 0.000 0.000

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

475 489 2011 175820 0 0 0 0 0

N.S.

1 1.03 4.23 370.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.572 6.439 11.558 0.000 0.000 0.000 0.000 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

499 516 2040 201690 0 0 0 0 0

N.S.

1 1.03 4.09 404.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.663 6.421 12.685 0.000 0.000 0.000 0.000 0.000

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

655 688 2255 373779 0 0 0 0 0

N.S.

1 1.05 3.44 570.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.277 6.959 16.299 0.000 0.000 0.000 0.000 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

894 941 2530 902545 0 0 0 0 0

N.S.

1 1.05 2.83 1009.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.946 7.737 24.233 0.000 0.000 0.000 0.000 0.000